University of New England - Object-oriented software engineering; object-orientation, concurrency and visual programming; distributed systems and software engineering.
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic computation.
National Technical University of Athens - Extended relational database systems, active database systems, and spatial, image and multimedia database systems.